32-bit Windows build: